command lines for mkv

   1 ffmpeg -f x11grab -r 30 -s 1280x800 -i :0.0 -vcodec libx264 -vpre lossless_ultrafast -threads 0 pyff\ interpolation\ 1.mkv
   2 ./script.py -o 500 -x punknova-regular.otf NotCourierSans.otf
   3
   4 ffmpeg -f x11grab -r 30 -s 1280x800 -i :0.0 -vcodec libx264 -vpre lossless_ultrafast -threads 0 pyff\ interpolation\ 2.mkv
   5 ./script.py -o 500 -x punknova-regular.otf NotCourierSans.otf
   6
   7 cf.
   8 http://verb3k.wordpress.com/2010/01/26/how-to-do-proper-screencasts-on-linux/
   9 http://ctan.org/tex-archive/fonts/punknova